翻訳と辞書 Words near each other ・ Norman Bell ・ Norman Bellingham ・ Norman Bennett ・ Norman Bentwich ・ Norman Bergamelli ・ Normality test ・ Normalization ・ Normalization (Czechoslovakia) ・ Normalization (image processing) ・ Normalization (people with disabilities) ・ Normalization (sociology) ・ Normalization (statistics) ・ Normalization model ・ Normalization process model ・ Normalization process theory ・ Normalization property (abstract rewriting) ・ Normalized chromosome value ・ Normalized compression distance ・ Normalized Difference Vegetation Index ・ Normalized frequency ・ Normalized frequency (fiber optics) ・ Normalized frequency (unit) ・ Normalized Google distance ・ Normalized loop ・ Normalized number ・ Normalized Systems ・ Normalizing constant ・ Normalizovaný muštomer ・ Normally distributed and uncorrelated does not imply independent ・ Normally hyperbolic invariant manifold Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Normalization property (abstract rewriting) ： ウィキペディア英語版 Normalization property (abstract rewriting) In mathematical logic and theoretical computer science, a rewrite system has the strong normalization property or is terminating (in short: the normalization or the termination) if every term is ''strongly normalizing''; that is, if every sequence of rewrites eventually terminates to an ''irreducible'' term also called a normal form. A rewrite system may also have the weak normalization property, meaning that for every term, there exists at least one particular sequence of rewrites that eventually yields a normal form, i.e., an irreducible term. == Lambda calculus == 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Normalization property (abstract rewriting)」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.